259 research outputs found
Constant-Factor Approximation for TSP with Disks
We revisit the traveling salesman problem with neighborhoods (TSPN) and
present the first constant-ratio approximation for disks in the plane: Given a
set of disks in the plane, a TSP tour whose length is at most times
the optimal can be computed in time that is polynomial in . Our result is
the first constant-ratio approximation for a class of planar convex bodies of
arbitrary size and arbitrary intersections. In order to achieve a
-approximation, we reduce the traveling salesman problem with disks, up
to constant factors, to a minimum weight hitting set problem in a geometric
hypergraph. The connection between TSPN and hitting sets in geometric
hypergraphs, established here, is likely to have future applications.Comment: 14 pages, 3 figure
New bounds on the average distance from the Fermat-Weber center of a planar convex body
The Fermat-Weber center of a planar body is a point in the plane from
which the average distance to the points in is minimal. We first show that
for any convex body in the plane, the average distance from the
Fermat-Weber center of to the points of is larger than , where is the diameter of . This proves a conjecture
of Carmi, Har-Peled and Katz. From the other direction, we prove that the same
average distance is at most . The new bound substantially improves the previous bound of
due to
Abu-Affash and Katz, and brings us closer to the conjectured value of . We also confirm the upper bound conjecture for centrally
symmetric planar convex bodies.Comment: 13 pages, 2 figures. An earlier version (now obsolete): A. Dumitrescu
and Cs. D. T\'oth: New bounds on the average distance from the Fermat-Weber
center of a planar convex body, in Proceedings of the 20th International
Symposium on Algorithms and Computation (ISAAC 2009), 2009, LNCS 5878,
Springer, pp. 132-14
Minimum Weight Euclidean -Spanners
Given a set of points in the plane and a parameter , a
Euclidean -spanner is a geometric graph that
contains, for all , a -path of weight at most
. We show that the minimum weight of a Euclidean
-spanner for points in the unit square is
, and this bound is the best possible. The
upper bound is based on a new spanner algorithm that sparsifies Yao-graphs. It
improves upon the baseline , obtained by combining
a tight bound for the weight of a Euclidean minimum spanning tree (MST) on
points in , and a tight bound for the lightness of Euclidean
-spanners, which is the ratio of the spanner weight to the
weight of the MST. The result generalizes to Euclidean -space for every
dimension : The minimum weight of a Euclidean
-spanner for points in the unit cube is
, and this bound is the best possible.
For the section of the integer lattice, we show that the minimum
weight of a Euclidean -spanner is between
and
. These bounds become
and
when scaled to a grid
of points in the unit square. In particular, this shows that the integer
grid is \emph{not} an extremal configuration for minimum weight Euclidean
-spanners.Comment: 27 pages, 9 figures. An extended abstract appears in the Proceedings
of WG 202
On RAC Drawings of Graphs with Two Bends per Edge
It is shown that every -vertex graph that admits a 2-bend RAC drawing in
the plane, where the edges are polylines with two bends per edge and any pair
of edges can only cross at a right angle, has at most edges for . This improves upon the previous upper bound of ; this is the first
improvement in more than 12 years. A crucial ingredient of the proof is an
upper bound on the size of plane multigraphs with polyline edges in which the
first and last segments are either parallel or orthogonal.Comment: Presented at the 31st International Symposium on Graph Drawing and
Network Visualization (GD 2023
Minimum Convex Partitions and Maximum Empty Polytopes
Let be a set of points in . A Steiner convex partition
is a tiling of with empty convex bodies. For every integer ,
we show that admits a Steiner convex partition with at most tiles. This bound is the best possible for points in general
position in the plane, and it is best possible apart from constant factors in
every fixed dimension . We also give the first constant-factor
approximation algorithm for computing a minimum Steiner convex partition of a
planar point set in general position. Establishing a tight lower bound for the
maximum volume of a tile in a Steiner convex partition of any points in the
unit cube is equivalent to a famous problem of Danzer and Rogers. It is
conjectured that the volume of the largest tile is .
Here we give a -approximation algorithm for computing the
maximum volume of an empty convex body amidst given points in the
-dimensional unit box .Comment: 16 pages, 4 figures; revised write-up with some running times
improve
- …